#
# See os/src/test/nic_router_dhcp/README for a documentation.
#

create_boot_directory

import_from_depot [depot_user]/src/[base_src]

set build_components {

	init
	server/dynamic_rom
	test/nic_router_dhcp/client
	server/nic_router
}

lappend_if [nic_router_2_managed] build_components test/nic_router_dhcp/manager
lappend_if [nic_router_2_managed] build_components server/report_rom

build $build_components

append config {

<config>

	<parent-provides>
		<service name="ROM"/>
		<service name="IRQ"/>
		<service name="IO_MEM"/>
		<service name="IO_PORT"/>
		<service name="PD"/>
		<service name="RM"/>
		<service name="CPU"/>
		<service name="LOG"/>
	</parent-provides>

	<default-route>
		<any-service> <parent/> <any-child/> </any-service>
	</default-route>
	<default caps="200" ram="1M"/>

	<start name="timer">
		<provides><service name="Timer"/></provides>
	</start>

	<start name="dynamic_rom" ram="4M">
		<provides><service name="ROM"/> </provides>
		<config verbose="yes">
			<rom name="nic_router_1.config">
				<inline>

					<config>

						<policy label="nic_router_2 -> " domain="downlink"/>

						<domain name="downlink" interface="10.2.3.1/24">

							<dhcp-server ip_first="10.2.3.2"
							             ip_last="10.2.3.2">

								<dns-server ip="1.2.3.4"/>
								<dns-server ip="2.3.4.5"/>
								<dns-server ip="3.4.5.6"/>
								<dns-domain name="genode.org"/>

							</dhcp-server>

						</domain>

					</config>

				</inline>
				<sleep milliseconds="4000"/>
				<inline>

					<config>

						<policy label="nic_router_2 -> " domain="downlink"/>

						<domain name="downlink" interface="10.2.3.1/24">

							<dhcp-server ip_first="10.2.3.2"
							             ip_last="10.2.3.2">

								<dns-server ip="4.5.6.7"/>
								<dns-server ip="5.6.7.8"/>

							</dhcp-server>

						</domain>

					</config>

				</inline>
				<sleep milliseconds="4000"/>
				<inline>

					<config>

						<policy label="nic_router_2 -> " domain="downlink"/>

						<domain name="downlink" interface="10.2.4.1/24">

							<dhcp-server ip_first="10.2.4.2"
							             ip_last="10.2.4.2">

								<dns-server ip="6.7.8.9"/>
								<dns-domain name="this_is_a_way_to_long_dns_domain_name_that_should_be_rejected_by_the_router_and_cause_the_corresponding_dhcp_option_to_disappear_but_you_never_know_and_so_we_better_test_it................................................................................Xooooo"/>

							</dhcp-server>

						</domain>

					</config>

				</inline>
				<sleep milliseconds="2000"/>
				<inline>

					<config>

						<policy label="nic_router_2 -> " domain="downlink"/>

						<domain name="downlink" interface="10.2.4.1/24">

							<dhcp-server ip_first="10.2.4.200"
							             ip_last="10.2.4.200">

								<dns-domain name="genodians.org"/>

							</dhcp-server>

						</domain>

					</config>

				</inline>
				<sleep milliseconds="2000"/>
				<inline>

					<config>

						<policy label="nic_router_2 -> " domain="downlink"/>

						<domain name="downlink" interface="10.2.3.1/24">

							<dhcp-server ip_first="10.2.3.2"
							             ip_last="10.2.3.2">

								<dns-domain name="genodians.org"/>

							</dhcp-server>

						</domain>

					</config>

				</inline>
				<sleep milliseconds="2000"/>

			</rom>
		</config>
	</start>

	<start name="nic_router_1" ram="10M">
		<binary name="nic_router"/>
		<provides>
			<service name="Nic"/>
			<service name="Uplink"/>
		</provides>
		<route>
			<service name="ROM" label="config">
				<child name="dynamic_rom" label="nic_router_1.config"/>
			</service>
			<any-service> <parent/> <any-child/> </any-service>
		</route>
	</start>

	<start name="nic_router_2" ram="10M">
		<binary name="nic_router"/>
		<provides>
			<service name="Nic"/>
			<service name="Uplink"/>
		</provides>}

append_if [expr ![nic_router_2_managed]] config {

		<config verbose_packets="no">

			<policy label="test_client -> " domain="downlink"/>
			<nic-client                     domain="uplink"/>

			<domain name="uplink"/>
			<domain name="downlink" interface="10.0.3.1/24">

				<dhcp-server ip_first="10.0.3.2"
				             ip_last="10.0.3.2"
				             ip_lease_time_sec="6"
				             dns_config_from="uplink"/>

			</domain>

		</config>}

append config {

		<route>
			<service name="Nic"> <child name="nic_router_1"/> </service>}

append_if [nic_router_2_managed] config {

			<service name="ROM" label="config">
				<child name="report_rom"/>
			</service>}

append config {

			<any-service> <parent/> <any-child/> </any-service>
		</route>
	</start>

	<start name="test_client" ram="10M">
		<binary name="test-nic_router_dhcp-client"/>
		<config verbose="no"/>
		<route>
			<service name="Nic"> <child name="nic_router_2"/> </service>
			<any-service> <parent/> <any-child/> </any-service>
		</route>
	</start>}

append_if [nic_router_2_managed] config {

	<start name="report_rom">
		<provides> <service name="Report"/> <service name="ROM"/> </provides>
		<config verbose="no">
			<policy label="test_manager -> router_state"
			        report="nic_router_2 -> state"/>

			<policy label="nic_router_2 -> config"
			        report="test_manager -> router_config"/>
		</config>
	</start>

	<start name="test_manager">
		<binary name="test-nic_router_dhcp-manager"/>
		<route>
			<service name="ROM" label="router_state">
				<child name="report_rom"/>
			</service>
			<service name="Report"> <child name="report_rom"/> </service>
			<any-service> <parent/> <any-child/> </any-service>
		</route>
	</start>}

append config {

</config>}

install_config $config

build_boot_image [build_artifacts]

append qemu_args " -nographic "
append_qemu_nic_args

if {[nic_router_2_managed]} {

append done_string ".*Event 1, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 3600 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS server #1: 1.2.3.4.*\n"
append done_string ".*  DNS server #2: 2.3.4.5.*\n"
append done_string ".*  DNS server #3: 3.4.5.6.*\n"
append done_string ".*  DNS domain name: genode.org.*\n"
append done_string ".*Event 2, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 3600 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS server #1: 4.5.6.7.*\n"
append done_string ".*  DNS server #2: 5.6.7.8.*\n"
append done_string ".*Event 3, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 3600 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS server #1: 6.7.8.9.*\n"
append done_string ".*Event 4, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 3600 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS domain name: genodians.org.*\n"
append done_string ".*Event 5, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 3600 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS server #1: 1.2.3.4.*\n"
append done_string ".*  DNS server #2: 2.3.4.5.*\n"
append done_string ".*  DNS server #3: 3.4.5.6.*\n"
append done_string ".*  DNS domain name: genode.org.*\n"

} else {

append done_string ".*Event 1, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 6 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS server #1: 1.2.3.4.*\n"
append done_string ".*  DNS server #2: 2.3.4.5.*\n"
append done_string ".*  DNS server #3: 3.4.5.6.*\n"
append done_string ".*  DNS domain name: genode.org.*\n"
append done_string ".*Event 2, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 6 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS server #1: 4.5.6.7.*\n"
append done_string ".*  DNS server #2: 5.6.7.8.*\n"
append done_string ".*Event 3, DHCP renew completed:.*\n"
append done_string ".*  IP lease time: 6 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS server #1: 4.5.6.7.*\n"
append done_string ".*  DNS server #2: 5.6.7.8.*\n"
append done_string ".*Event 4, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 6 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS server #1: 6.7.8.9.*\n"
append done_string ".*Event 5, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 6 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS domain name: genodians.org.*\n"
append done_string ".*Event 6, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 6 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS domain name: genodians.org.*\n"
append done_string ".*Event 7, DHCP request completed:.*\n"
append done_string ".*  IP lease time: 6 seconds.*\n"
append done_string ".*  Interface: 10.0.3.2/24.*\n"
append done_string ".*  Router: 10.0.3.1.*\n"
append done_string ".*  DNS server #1: 1.2.3.4.*\n"
append done_string ".*  DNS server #2: 2.3.4.5.*\n"
append done_string ".*  DNS server #3: 3.4.5.6.*\n"
append done_string ".*  DNS domain name: genode.org.*\n"

}

run_genode_until $done_string 60
